Ideas from 'Truthmakers and Converse Barcan Formula' by Timothy Williamson [1999], by Theme Structure

[found in 'Dialectica' (ed/tr -) [- ,]].

green numbers give full details    |     back to texts     |     expand these ideas

---

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths

15134

The truthmaker principle requires some specific named thing to make the difference

3. Truth / B. Truthmakers / 7. Making Modal Truths

15140

The converse Barcan formula will not allow contingent truths to have truthmakers

15141

Truthmaker is incompatible with modal semantics of varying domains

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5

15131

If metaphysical possibility is not a contingent matter, then S5 seems to suit it best

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

15135

If the domain of propositional quantification is constant, the Barcan formulas hold

15139

Converse Barcan: could something fail to meet a condition, if everything meets that condition?

5. Theory of Logic / G. Quantification / 1. Quantification

18492

Not all quantification is either objectual or substitutional

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification

15136

Substitutional quantification is metaphysical neutral, and equivalent to a disjunction of instances

5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification

15138

Not all quantification is objectual or substitutional

7. Existence / D. Theories of Reality / 8. Facts / a. Facts

15137

If 'fact' is a noun, can we name the fact that dogs bark 'Mary'?

10. Modality / E. Possible worlds / 3. Transworld Objects / e. Possible Objects

15142

Our ability to count objects across possibilities favours the Barcan formulas

28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique

15133

A thing can't be the only necessary existent, because its singleton set would be as well